1994 | Award Winner, (Prominent Scientist Prize, Hong Kong Qiushi Foundation) | |
1993 | Award Winner, (Chen Jiageng Mathematics and Physics Science Prize) | |
1993—1998 | Member, 8th CPPCC, Standing Committee of the CPPCC | |
1992—1996 | Director, Chinese Academy of Sciences, Division of Mathematics and Physics | |
1991— | Academician, Third World Academy of Sciences | |
1990 | Established, Chinese Academy of Sciences, Research Institute of System Sciences, Mathematics Mechanization Research Center | |
1990—1999 | Director, Chinese Academy of Sciences, Research Institute of System Sciences, Mathematics Mechanization Research Center | |
1988—1993 | Member, 7th CPPCC, Standing Committee of the CPPCC | |
1984— | Honorary Director, Chinese Academy of Sciences, Research Institute of System Sciences | |
1984—1987 | Director-General, China Mathematics Association |